Spezifikationsmethodik für mobile, dynamische FOCUS-Netze
نویسندگان
چکیده
Dieses Papier stellt eine methodische Vorgehensweise f ur die Modellierung dynami scher und mobiler verteilter Systeme in Focus vor Focus ist eine formale Methodik zur Entwicklung und Spezi kation verteilter reaktiver Systeme Wir geben Leitf aden und Spezi kationsschemata f ur dynamische mobile Systeme an gefolgt von der Be schreibung einiger Fallstudien Ziel ist es auch Anwendern die mit den formalen Tech niken von Focus nur wenig vertraut sind die Erstellung formaler Spezi kationen zu erm oglichen
منابع مشابه
Modellierung von dynamischen Zielen in Agentensystemen mit Ziel/Transitions-Netzen
Die geeignete Darstellung von Zielen ist ein wichtiger Aspekt bei der Modellierung von Agentensystemen. Ziele stellen mentale Zustände eines Agenten dar und können sich zur Laufzeit ändern (dynamische Ziele). Sie sind deshalb als dynamische Elemente auf der Modellebene abzubilden. Für die Modellierung von Agentensystemen mit dynamischen Zielen wird in dieser Arbeit die Klasse der Ziel/Transitio...
متن کاملKombination von Modellen zur Systemanalyse im Selbstmanagement-Kontext
Für das Selbstmanagement von IT-Systemen spielt die MAPE Loop eine wichtige Rolle. Dabei werden in der Analysekomponente unterschiedlichste Verfahren zur Gewinnung neuer Informationen eingesetzt. Dieser Beitrag betrachtet die Kombination solcher IT-Management-Verfahren zur Gewinnung von höherwertigen Informationen aus Datenströmen. Konkret werden Ontologien und Bayes’sche Netze kombiniert. Dazu...
متن کاملEin dynamisches Adressierungsverfahren für Mobile Ad-Hoc Netze
Mobile Ad-Hoc Netze (MANET) bestehen aus einer Menge von mobilen Knoten, die drahtlos miteinander kommunizieren. Durch die Knotenmobilität ist die Netztopologie ständigen Veränderungen unterworfen und es existieren keine Einheiten, die jederzeit verfügbar sind. Hauptproblem bei mobilen Ad-Hoc Netzen ist die schnelle Pfadfindung, welche durch die Knotenmobilität erschwert wird. Bevor jedoch ein ...
متن کاملWetterdatenübertragung mit Digital Audio Broadcasting
Interaktive und dynamische Darstellungen von Wetterprognosen sollen in Zusammenarbeit mit der Digitalradio-Nord GmbH für mobile Endgeräte verfügbar gemacht werden. Wir geben daher zunächst eine kurze Einführung, wie eine dynamische und interaktive Darstellung einer Wetterprognose aussehen kann. Hauptproblem für die Darstellung auf mobilen Endgeräten ist die Datenübertragung. Als Übertragungsweg...
متن کاملBasissoftware für selbstorganisierende Infrastrukturen für vernetzte mobile Systeme
In der Informationstechnologie haben zwei große Trends in den letzten Jahren für massive Veränderungen gesorgt, nämlich die zunehmende Mobilität von Rechnern bzw. Geräten mit grundlegender IT-Ausstattung sowie die weiträumig verfügbaren drahtlosen Kommunikationsmöglichkeiten. Auf der Basis dieser Technologien ergeben sich ganz neue Anwendungsmöglichkeiten, die vor allem die Tatsache nutzen, das...
متن کامل